<html>
<head><meta charset="utf-8"><title>order of branches changes generated MIR · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/order.20of.20branches.20changes.20generated.20MIR.html">order of branches changes generated MIR</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="214952724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/order%20of%20branches%20changes%20generated%20MIR/near/214952724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Xavier Denis <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/order.20of.20branches.20changes.20generated.20MIR.html#214952724">(Oct 29 2020 at 11:11)</a>:</h4>
<p>I noticed something odd in the MIR generated for a simple match (this is from <code>mir_promoted</code> query) where the first branch is compiled slightly differently. This also leads to different facts being generated for polonius and other weirdnesses. It doesn't seem to cause any issues but I'm confused as to why this would occur. I posted example MIR here: <a href="#narrow/stream/183875-wg-formal-methods/topic/Inconsistency.20in.20MIR.20for.20branches/near/214769775">https://rust-lang.zulipchat.com/#narrow/stream/183875-wg-formal-methods/topic/Inconsistency.20in.20MIR.20for.20branches/near/214769775</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>